ДИАГОНАЛЬНОЕ ПРОИЗВЕДЕНИЕ ОТОБРАЖЕНИЙ - отображение = определяемое равенством f(x)= Д. п. о. fa удовлетворяет для любого а соотношению fa=paf, где pa. обозначает проектирование произведения Y на сомножитель Ya. Диагональное произведение непрерывных отображений непрерывно. Семейство отображений наз. расчленяющим, если для любой точки и всякой ее окрестности Ох существует такой индекс a и такое открытое подмножество что Если - расчленяющее семейство отображений и f есть Д. п. о. fa, то f является вложением пространства Xв произведение pYa, т. е. - гомеоморфизм. Д. п. о. было применено А. Н. Тихоновым для вложения вполне регулярного пространства веса т в куб It.
В. В. Феворчук
Смотреть больше слов в «Математической энциклопедии»